From 5b1a5c7317e7177483b6586b62be5529598d9b48 Mon Sep 17 00:00:00 2001
From: "adsharma@los-vmm.sc.intel.com" <adsharma@los-vmm.sc.intel.com>
Date: Tue, 9 Aug 2005 11:06:44 -0800
Subject: [PATCH] Need to reset device model pid on reboot

Without this, xend will not spawn a new device model process after the reboot.

Signed-off-by: Ke Yu <ke.yu@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
---
 tools/python/xen/xend/XendDomainInfo.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 0d72f6e870..3850c4735f 100644
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -642,6 +642,7 @@ class XendDomainInfo:
                 pass
         if self.image:
             try:
+                self.device_model_pid = 0
                 self.image.destroy()
                 self.image = None
             except:
-- 
2.30.2